7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings
Lecture Notes in Computer Science > Smart Card Research and Advanced Applications > Formal Methods > 313-328
Lecture Notes in Computer Science > Smart Card Research and Advanced Applications > Formal Methods > 329-344
Lecture Notes in Computer Science > Smart Card Research and Advanced Applications > Formal Methods > 345-358